COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Peter Hilton - topologist, cryptanalyst, math Case Western
C00003 ENDMK
C⊗;
Peter Hilton - topologist, cryptanalyst, math Case Western
Sean Wiley - retired cryptanalyst, 

Donald Michie suggests that the above former cryptanalysts are
domain experts for the sort of hypothesis induction that would
be involved in SEQUEN[F80,JMC].

Turing 1949 lecture to London Mathematical Society
I.J. Good is the other expert on Turing's thinking.

Good, Turing, 
Turing wanted info about size of human memory
Michie is having new shot at monkey-and-bananas
Alan Robinson has new logic programming system embedded in LISP
do you have a copy
non-monotonic reasoning